Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
181	Scalable Certiﬁcation for Typed Assembly Language Dan Grossman and Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-03-05 11:41:46 Programming language implementation Type theory Procedural programming languages Compiler construction Functional languages Compiler Type inference Type system Type safety Software engineering Computing Programming language theory
182	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: www.isoc.org Language: English - Date: 2011-05-09 09:06:43 Computing Programming language theory Decompiler Type system Type inference Pointer Subtype polymorphism Assembly language MOV Software engineering Type theory Data types
183	The Checker Framework Manual: Custom pluggable types for Java http://checkerframework.org/ Version[removed]Mar[removed]For the impatient: Section 1.3 (page 12) describes how to install and use pluggable type-checkers. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2015-04-18 02:31:35 Programming language theory Computing Program analysis Type system Type inference Subtype polymorphism Lint Annotation Type theory Data types Software engineering
184	Verifying Security Properties using Type-Qualifier Inference by Robert Timothy Johnson B.S. (University of North Carolina at Greensboro[removed]A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Data types Software bug Linux kernel Kernel Linux Pointer Programming language Type inference Computing Software Type theory
185	P Values are not Error Probabilities Raymond Hubbard College of Business and Public Administration Drake University Des Moines, IA 50311 Add to Reading List Source URL: www.uv.es Language: English - Date: 2003-12-15 04:21:42 Design of experiments Psychometrics Statistical tests Statistical hypothesis testing Statistical significance Alternative hypothesis Null hypothesis Statistical power Type I and type II errors Statistics Hypothesis testing Statistical inference
186	Type Systems Luca Cardelli Microsoft Research 1 Introduction The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program. This informal statement motivates th Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 12:43:06 Programming language theory Data types Cross-platform software Program analysis Procedural programming languages Type system Strong typing Type inference Programming language Software engineering Type theory Computing
187	Scalable Certification of Native Code: Experience from Compiling to TALx86 Dan Grossman Greg Morrisett ∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-02-02 20:38:09 Type theory Programming language theory Calling convention Assembly language Function prologue Type inference Type system Annotation X86 Software engineering Subroutines Computing
188	Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Type theory Data types Functional languages OCaml Caml ML Type system Type inference Type soundness Software engineering Programming language theory Computing
189	Type Inference for Late Binding. The SmallEiel Compiler. Suzanne COLLIN, Dominique COLNET and Olivier ZENDRA Campus Scientique, Bâtiment LORIA, Boîte Postale 239, 54506 Vandoeuvre-lès-Nancy Cedex Add to Reading List Source URL: smarteiffel.loria.fr Language: English - Date: 2007-07-11 14:08:32 Data types Object-oriented programming Procedural programming languages Type theory C++ Pointer Eiffel Generic programming C Software engineering Computer programming Computing
190	To stop the machines taking over we need to think about fuzzy logic Add to Reading List Source URL: phys.org Language: English - Date: 2015-04-16 12:59:11 Fuzzy logic Artificial intelligence Logic in computer science Non-classical logic Lotfi A. Zadeh Inference Fuzzy set Algorithm Type-2 fuzzy sets and systems Logic Science Mathematical logic

UPDATE